home *** CD-ROM | disk | FTP | other *** search
/ Mac Easy 2010 May / Mac Life Ubuntu.iso / casper / filesystem.squashfs / usr / share / gnome-panel / glade / window-list.glade < prev    next >
Encoding:
Extensible Markup Language  |  2009-04-17  |  14.4 KB  |  280 lines
  1. <?xml version="1.0" encoding="UTF-8" standalone="no"?>
  2. <!DOCTYPE glade-interface SYSTEM "glade-2.0.dtd">
  3. <!--*- mode: xml -*-->
  4. <glade-interface>
  5.   <widget class="GtkDialog" id="tasklist_properties_dialog">
  6.     <property name="border_width">5</property>
  7.     <property name="title" translatable="yes">Window List Preferences</property>
  8.     <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
  9.     <property name="has_separator">False</property>
  10.     <child internal-child="vbox">
  11.       <widget class="GtkVBox" id="dialog-vbox2">
  12.         <property name="visible">True</property>
  13.         <property name="spacing">2</property>
  14.         <child>
  15.           <widget class="GtkVBox" id="vbox1">
  16.             <property name="visible">True</property>
  17.             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  18.             <property name="border_width">5</property>
  19.             <property name="spacing">18</property>
  20.             <child>
  21.               <widget class="GtkVBox" id="vbox7">
  22.                 <property name="visible">True</property>
  23.                 <property name="spacing">6</property>
  24.                 <child>
  25.                   <widget class="GtkLabel" id="label1">
  26.                     <property name="visible">True</property>
  27.                     <property name="xalign">0</property>
  28.                     <property name="label" translatable="yes"><b>Window List Content</b></property>
  29.                     <property name="use_markup">True</property>
  30.                   </widget>
  31.                   <packing>
  32.                     <property name="expand">False</property>
  33.                     <property name="fill">False</property>
  34.                   </packing>
  35.                 </child>
  36.                 <child>
  37.                   <widget class="GtkAlignment" id="alignment1">
  38.                     <property name="visible">True</property>
  39.                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  40.                     <property name="left_padding">12</property>
  41.                     <child>
  42.                       <widget class="GtkVBox" id="vbox9">
  43.                         <property name="visible">True</property>
  44.                         <property name="spacing">6</property>
  45.                         <child>
  46.                           <widget class="GtkRadioButton" id="show_current_radio">
  47.                             <property name="visible">True</property>
  48.                             <property name="can_focus">True</property>
  49.                             <property name="label" translatable="yes">Sh_ow windows from current workspace</property>
  50.                             <property name="use_underline">True</property>
  51.                             <property name="response_id">0</property>
  52.                             <property name="draw_indicator">True</property>
  53.                           </widget>
  54.                           <packing>
  55.                             <property name="expand">False</property>
  56.                             <property name="fill">False</property>
  57.                           </packing>
  58.                         </child>
  59.                         <child>
  60.                           <widget class="GtkRadioButton" id="show_all_radio">
  61.                             <property name="visible">True</property>
  62.                             <property name="can_focus">True</property>
  63.                             <property name="label" translatable="yes">Show windows from a_ll workspaces</property>
  64.                             <property name="use_underline">True</property>
  65.                             <property name="response_id">0</property>
  66.                             <property name="draw_indicator">True</property>
  67.                             <property name="group">show_current_radio</property>
  68.                           </widget>
  69.                           <packing>
  70.                             <property name="expand">False</property>
  71.                             <property name="fill">False</property>
  72.                             <property name="position">1</property>
  73.                           </packing>
  74.                         </child>
  75.                       </widget>
  76.                     </child>
  77.                   </widget>
  78.                   <packing>
  79.                     <property name="position">1</property>
  80.                   </packing>
  81.                 </child>
  82.               </widget>
  83.               <packing>
  84.                 <property name="expand">False</property>
  85.               </packing>
  86.             </child>
  87.             <child>
  88.               <widget class="GtkVBox" id="vbox11">
  89.                 <property name="visible">True</property>
  90.                 <property name="spacing">6</property>
  91.                 <child>
  92.                   <widget class="GtkLabel" id="label3">
  93.                     <property name="visible">True</property>
  94.                     <property name="xalign">0</property>
  95.                     <property name="label" translatable="yes"><b>Window Grouping</b></property>
  96.                     <property name="use_markup">True</property>
  97.                   </widget>
  98.                   <packing>
  99.                     <property name="expand">False</property>
  100.                     <property name="fill">False</property>
  101.                   </packing>
  102.                 </child>
  103.                 <child>
  104.                   <widget class="GtkAlignment" id="alignment2">
  105.                     <property name="visible">True</property>
  106.                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  107.                     <property name="left_padding">12</property>
  108.                     <child>
  109.                       <widget class="GtkVBox" id="vbox12">
  110.                         <property name="visible">True</property>
  111.                         <property name="spacing">6</property>
  112.                         <child>
  113.                           <widget class="GtkRadioButton" id="never_group_radio">
  114.                             <property name="visible">True</property>
  115.                             <property name="can_focus">True</property>
  116.                             <property name="label" translatable="yes">_Never group windows</property>
  117.                             <property name="use_underline">True</property>
  118.                             <property name="response_id">0</property>
  119.                             <property name="draw_indicator">True</property>
  120.                           </widget>
  121.                           <packing>
  122.                             <property name="expand">False</property>
  123.                             <property name="fill">False</property>
  124.                           </packing>
  125.                         </child>
  126.                         <child>
  127.                           <widget class="GtkRadioButton" id="auto_group_radio">
  128.                             <property name="visible">True</property>
  129.                             <property name="can_focus">True</property>
  130.                             <property name="label" translatable="yes">Group windows when _space is limited</property>
  131.                             <property name="use_underline">True</property>
  132.                             <property name="response_id">0</property>
  133.                             <property name="draw_indicator">True</property>
  134.                             <property name="group">never_group_radio</property>
  135.                           </widget>
  136.                           <packing>
  137.                             <property name="expand">False</property>
  138.                             <property name="fill">False</property>
  139.                             <property name="position">1</property>
  140.                           </packing>
  141.                         </child>
  142.                         <child>
  143.                           <widget class="GtkRadioButton" id="always_group_radio">
  144.                             <property name="visible">True</property>
  145.                             <property name="can_focus">True</property>
  146.                             <property name="label" translatable="yes">_Always group windows</property>
  147.                             <property name="use_underline">True</property>
  148.                             <property name="response_id">0</property>
  149.                             <property name="draw_indicator">True</property>
  150.                             <property name="group">never_group_radio</property>
  151.                           </widget>
  152.                           <packing>
  153.                             <property name="expand">False</property>
  154.                             <property name="fill">False</property>
  155.                             <property name="position">2</property>
  156.                           </packing>
  157.                         </child>
  158.                       </widget>
  159.                     </child>
  160.                   </widget>
  161.                   <packing>
  162.                     <property name="position">1</property>
  163.                   </packing>
  164.                 </child>
  165.               </widget>
  166.               <packing>
  167.                 <property name="expand">False</property>
  168.                 <property name="position">1</property>
  169.               </packing>
  170.             </child>
  171.             <child>
  172.               <widget class="GtkVBox" id="vbox13">
  173.                 <property name="visible">True</property>
  174.                 <property name="spacing">6</property>
  175.                 <child>
  176.                   <widget class="GtkLabel" id="minimized_windows_label">
  177.                     <property name="visible">True</property>
  178.                     <property name="xalign">0</property>
  179.                     <property name="label" translatable="yes"><b>Restoring Minimized Windows</b></property>
  180.                     <property name="use_markup">True</property>
  181.                   </widget>
  182.                   <packing>
  183.                     <property name="expand">False</property>
  184.                     <property name="fill">False</property>
  185.                   </packing>
  186.                 </child>
  187.                 <child>
  188.                   <widget class="GtkAlignment" id="alignment3">
  189.                     <property name="visible">True</property>
  190.                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  191.                     <property name="left_padding">12</property>
  192.                     <child>
  193.                       <widget class="GtkVBox" id="vbox14">
  194.                         <property name="visible">True</property>
  195.                         <property name="spacing">6</property>
  196.                         <child>
  197.                           <widget class="GtkRadioButton" id="move_minimized_radio">
  198.                             <property name="visible">True</property>
  199.                             <property name="can_focus">True</property>
  200.                             <property name="label" translatable="yes">Restore to current _workspace</property>
  201.                             <property name="use_underline">True</property>
  202.                             <property name="response_id">0</property>
  203.                             <property name="draw_indicator">True</property>
  204.                           </widget>
  205.                           <packing>
  206.                             <property name="expand">False</property>
  207.                             <property name="fill">False</property>
  208.                           </packing>
  209.                         </child>
  210.                         <child>
  211.                           <widget class="GtkRadioButton" id="change_workspace_radio">
  212.                             <property name="visible">True</property>
  213.                             <property name="can_focus">True</property>
  214.                             <property name="label" translatable="yes">Restore to na_tive workspace</property>
  215.                             <property name="use_underline">True</property>
  216.                             <property name="response_id">0</property>
  217.                             <property name="draw_indicator">True</property>
  218.                             <property name="group">move_minimized_radio</property>
  219.                           </widget>
  220.                           <packing>
  221.                             <property name="expand">False</property>
  222.                             <property name="fill">False</property>
  223.                             <property name="position">1</property>
  224.                           </packing>
  225.                         </child>
  226.                       </widget>
  227.                     </child>
  228.                   </widget>
  229.                   <packing>
  230.                     <property name="position">1</property>
  231.                   </packing>
  232.                 </child>
  233.               </widget>
  234.               <packing>
  235.                 <property name="expand">False</property>
  236.                 <property name="position">2</property>
  237.               </packing>
  238.             </child>
  239.           </widget>
  240.         </child>
  241.         <child internal-child="action_area">
  242.           <widget class="GtkHButtonBox" id="dialog-action_area2">
  243.             <property name="visible">True</property>
  244.             <property name="layout_style">GTK_BUTTONBOX_END</property>
  245.             <child>
  246.               <widget class="GtkButton" id="help_button">
  247.                 <property name="visible">True</property>
  248.                 <property name="can_focus">True</property>
  249.                 <property name="can_default">True</property>
  250.                 <property name="label">gtk-help</property>
  251.                 <property name="use_stock">True</property>
  252.                 <property name="response_id">-11</property>
  253.               </widget>
  254.             </child>
  255.             <child>
  256.               <widget class="GtkButton" id="done_button">
  257.                 <property name="visible">True</property>
  258.                 <property name="can_focus">True</property>
  259.                 <property name="can_default">True</property>
  260.                 <property name="has_default">True</property>
  261.                 <property name="label">gtk-close</property>
  262.                 <property name="use_stock">True</property>
  263.                 <property name="response_id">0</property>
  264.               </widget>
  265.               <packing>
  266.                 <property name="position">1</property>
  267.               </packing>
  268.             </child>
  269.           </widget>
  270.           <packing>
  271.             <property name="expand">False</property>
  272.             <property name="pack_type">GTK_PACK_END</property>
  273.             <property name="position">1</property>
  274.           </packing>
  275.         </child>
  276.       </widget>
  277.     </child>
  278.   </widget>
  279. </glade-interface>
  280.